- 可化归性公理
- axiom: n. 1.自明之理。 2.【逻，数】公理；原理，原则，通 ...
- reducibility axiom: 可约性公理
- reducibility: 还原变; 还原性; 可归约性; 可约性; 稀释性
- axiom: n. 1.自明之理。 2.【逻，数】公理；原理，原则，通则。 3.格言。
- axiom axiom: 公理
下载手机词典可随时随地查词查翻译
axiom of reducibility中文什么意思
- 可化归性公理
下载手机词典可随时随地查词查翻译
百科释义
The Axiom of Reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Russell devised and introduced the Axiom in an attempt to manage the contradictions he had discovered in his analysis of set theory.
详细百科解释